<HTML><HEAD><TITLE>has_tent_value(?X)</TITLE>
</HEAD><BODY>[ <A HREF="index.html">library(tentative)</A> | <A HREF="../../index.html">Reference Manual</A> | <A HREF="../../fullindex.html">Alphabetic Index</A> ]
<H1>has_tent_value(?X)</H1>
X has a tentative value (succeeds also for X nonvar)
<DL>
<DT><EM>X</EM></DT>
<DD>Any term
</DD>
</DL>
<H2>Description</H2>

    	Succeeds if X is a variable with a tentative value, or if X is
	a nonvariable (i.e. has a definitive value).
    
<H3>Modes and Determinism</H3><UL>
<LI>has_tent_value(?) is semidet
</UL>
<H2>Examples</H2>
<PRE>
    ?- tent_set(X, 27), has_tent_value(X).
    X = X{27 -&gt; 0}
    Yes (0.00s cpu)

    ?- has_tent_value(_).
    No (0.00s cpu)

    ?- has_tent_value(35).
    Yes (0.00s cpu)
    </PRE>
<H2>See Also</H2>
<A HREF="../../lib/tentative/tent_set-2.html">tent_set / 2</A>, <A HREF="../../lib/tentative/tent_get-2.html">tent_get / 2</A>, <A HREF="../../lib/tentative/tent_fix-1.html">tent_fix / 1</A>
</BODY></HTML>
